<?php

    /***********************************************************************************/
    /*            VARIABLES GLOBALES ET TRAITEMENTS D'INITIALISATION              */
    /*_____________________________________________________________*/

	//session_start();
	$Session_Flag = "";
	Session_FlagManager();
	
    /***********************************************************************************/
    /*                                          FONCTIONS DE GESTION                                       */
    /*_____________________________________________________________*/
	
	/* Gere  l'etat de la session */
	/* Doit etre appele à chaque changement potentiel d'etat de la session */
	function Session_FlagManager()
	{
//		global $Session_Flag;
//		//if(!isset($_SESSION))
//		//if($_SESSION)
//		if(!isset($_SESSION['login']))
//		{
//			//echo "pas de session<br />";
//			$Session_Flag = false; //0;
//		}
//		else
//		{
//			if($_SESSION['login'] == " ")
//			{
//				//echo "pas de session<br />";
//				$Session_Flag = false; //0;
//			}
//			else
//			{
//				//echo "session ok<br />";
//				$Session_Flag = true; //1;
//			}
//		}
	}
	
	/* retourne l'etat de la session */
	function get_sessionState()
	{
//		global $Session_Flag;
//		return $Session_Flag;
	}
	
	/* initialise la session  */
	function init_session()
	{
//		if(isset($_SESSION))
//		{
//			unset($_SESSION);
//			session_destroy();
//		}
//		session_start();
//		$_SESSION['login']=" ";
//
//		Session_FlagManager();
	}
	
	


	
?>